منابع مشابه
Verifying Randomized Byzantine Agreement
Distributed systems increasingly rely on fault-tolerant and secure authorization services. An essential primitive used to implement such services is the Byzantine agreement protocol for achieving agreement among n parties even if t parties (t < n/3) are corrupt and behave maliciously. We describe our experience verifying the randomized protocol ABBA (Asynchronous Binary Byzantine Agreement) of ...
متن کاملExtending Binary Byzantine Agreement to Multivalued Byzantine Agreement
The concern of this paper is a set of potentially faulty processes that engage in a distributed computation to agree on some piece of information. Each process enters the computation with an initial value. The computation returns a common result value to each correct process. If all correct processes begin the computation with identical initial values, then the result value equals the initial v...
متن کاملCapacity of Byzantine Agreement
Caveat: This report represents work-in-progress, and provides some of our early results on the topic. A more complete version of this report, with additional results not presented in this draft, and improved description of the algorithms and analysis, will be released later this year. This draft version contains known problems with clarity/readability and the descriptions are incomplete/impreci...
متن کاملDegradable Byzantine Agreement
Consider a system consisting of a sender that wants to send a value to certain receivers. Byzantine agreement protocols [2, 7, 8] have been proposed to achieve this in the presence of arbitrary failures. The imposed requirement typically is that the fault-free receivers must all agree on the same value [7, 8]. (Dolev [2] analyzes a somewhat weaker form of agreement). It has been shown that such...
متن کاملOptimistic Asynchronous Byzantine Agreement
Agreement problems are a fundamental building block for constructing reliable distributed systems. While robust and eÆcient protocols exist in the crash-failure setting, protocols resilient against a Byzantine adversary tend to have problems with either eÆciency or security. This paper proposes an optimistic approach to the Byzantine agreement problem, combining the eÆciency of fully synchronou...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 1985
ISSN: 0098-5589
DOI: 10.1109/tse.1985.232246